This is a Turing Machine which computes the exponential function f(x,y) = xˆy. Instructions format and operation of this machine are intended to best reflect the basic conditions outlined by Alan Turing in his On Computable Numbers, with an Application to the Entscheidungsproblem (1936), using the simplest single-tape and single-symbol version, in essence due to Kleene (1952) and Carnielli & Epstein (2008). This machine is composed by four basic task machines: one which checks if exponent y is zero, a second (...) which checks if base x is zero, a third that is able to copy the base, and a fourth able to multiply multiple factors (in this case, factors will be all equal). They were conveniently separated in order to ease the reader's task to understand each step of its operation. We adopt the convention that a number n is represented by a string of n+1 symbols "1". Thus, an entry (x, y) will be represented by two respective strings of x+1 and y+1 symbols "1", separated by a single "0" (or a blank), and as an output, this machine will generate a string of (xˆy)+1 symbols "1". Some of the instructions are followed by a brief description of what's going on. (shrink)

In the past twenty years, scholarly interest in John Dewey's later writings has surged. While later works such as Art as Experience (1934), Logic: The Theory of Inquiry (1938), and Freedom and Culture (1939) have received considerable attention, Knowing and the Known (1949), Dewey's late-in-life collaboration with Arthur F. Bentley, has been largely neglected. A common bias among Dewey scholars is that this work, instead of developing Dewey's Logic, departs from its spirit, reflects the overbearing influence of Bentley on Dewey (...) (who was at the time an octogenarian), and, therefore, merits little serious scholarly consideration. However, Dewey and Bentley engaged in an extended correspondence, collected in John Dewey and Arthur Bentley: A Philosophical Correspondence, 1932-1951 (1964), the result of which was no less than a watershed moment in Dewey's thinking on the experimental method of inquiry. The Logic was improved in ways that incorporated the insights of Charles Sanders Peirce's logic and developed Dewey's earlier work in a direction expressly intended by the aging pragmatist. Indeed, Dewey writes in correspondence with his co-author: "You [Bentley] shouldn't lean too heavily on the [1938] Logic; it wasn't a bad job at the time, but I could do better now [with Knowing and the Known]; largely through association with you and getting the courage to see my thing [logical theory] through without compromise" (Correspondence, 4:595, see also 184, 420, 481, 483-84). One of the few scholars of American pragmatism to acknowledge that Knowing and the Known was a watershed development in Dewey's thinking is Frank X. Ryan, author of an exciting new book, Seeing Together: Mind, Matter, and the Experimental Outlook of John Dewey and Arthur F. Bentley, that clearly and concisely presents the revolutionary method developed in Knowing and Known: the transactional approach. (shrink)

A new non-Archimedean approach to interacted quantum fields is presented. In proposed approach, a field operator φ(x,t) no longer a standard tempered operator-valued distribution, but a non-classical operator-valued function. We prove using this novel approach that the quantum field theory with Hamiltonian P(φ)_4 exists and that the corresponding C^*­ algebra of bounded observables satisfies all the Haag-Kastler axioms except Lorentz covariance. We prove that the λ(φ^4 )_4 quantum field theory model is Lorentz covariant.

Let f(1)=2, f(2)=4, and let f(n+1)=f(n)! for every integer n≥2. Edmund Landau's conjecture states that the set P(n^2+1) of primes of the form n^2+1 is infinite. Landau's conjecture implies the following unproven statement Φ: card(P(n^2+1))<ω ⇒ P(n^2+1)⊆[2,f(7)]. Let B denote the system of equations: {x_j!=x_k: i,k∈{1,...,9}}∪{x_i⋅x_j=x_k: i,j,k∈{1,...,9}}. The system of equations {x_1!=x_1, x_1 \cdot x_1=x_2, x_2!=x_3, x_3!=x_4, x_4!=x_5, x_5!=x_6, x_6!=x_7, x_7!=x_8, x_8!=x_9} has exactly two solutions in positive integers x_1,...,x_9, namely (1,...,1) and (f(1),...,f(9)). No known system S⊆B with a finite (...) number of solutions in positive integers x_1,...,x_9 has a solution (x_1,...,x_9)∈(N\{0})^9 satisfying max(x_1,...,x_9)>f(9). For every known system S⊆B, if the finiteness/infiniteness of the set {(x_1,...,x_9)∈(N\{0})^9: (x_1,...,x_9) solves S} is unknown, then the statement ∃ x_1,...,x_9∈N\{0} ((x_1,...,x_9) solves S)∧(max(x_1,...,x_9)>f(9)) remains unproven. Let Λ denote the statement: if the system of equations {x_2!=x_3, x_3!=x_4, x_5!=x_6, x_8!=x_9, x_1 \cdot x_1=x_2, x_3 \cdot x_5=x_6, x_4 \cdot x_8=x_9, x_5 \cdot x_7=x_8} has at most finitely many solutions in positive integers x_1,...,x_9, then each such solution (x_1,...,x_9) satisfies x_1,...,x_9≤f(9). The statement Λ is equivalent to the statement Φ. It heuristically justifies the statement Φ . This justification does not yield the finiteness/infiniteness of P(n^2+1). We present a new heuristic argument for the infiniteness of P(n^2+1), which is not based on the statement Φ. Algorithms always terminate. We explain the distinction between existing algorithms (i.e. algorithms whose existence is provable in ZFC) and known algorithms (i.e. algorithms whose definition is constructive and currently known). Assuming that the infiniteness of a set X⊆N is false or unproven, we define which elements of X are classified as known. No known set X⊆N satisfies Conditions (1)-(4) and is widely known in number theory or naturally defined, where this term has only informal meaning. *** (1) A known algorithm with no input returns an integer n satisfying card(X)<ω ⇒ X⊆(-∞,n]. (2) A known algorithm for every k∈N decides whether or not k∈X. (3) No known algorithm with no input returns the logical value of the statement card(X)=ω. (4) There are many elements of X and it is conjectured, though so far unproven, that X is infinite. (5) X is naturally defined. The infiniteness of X is false or unproven. X has the simplest definition among known sets Y⊆N with the same set of known elements. *** Conditions (2)-(5) hold for X=P(n^2+1). The statement Φ implies Condition (1) for X=P(n^2+1). The set X={n∈N: the interval [-1,n] contains more than 29.5+\frac{11!}{3n+1}⋅sin(n) primes of the form k!+1} satisfies Conditions (1)-(5) except the requirement that X is naturally defined. 501893∈X. Condition (1) holds with n=501893. card(X∩[0,501893])=159827. X∩[501894,∞)= {n∈N: the interval [-1,n] contains at least 30 primes of the form k!+1}. We present a table that shows satisfiable conjunctions of the form #(Condition 1) ∧ (Condition 2) ∧ #(Condition 3) ∧ (Condition 4) ∧ #(Condition 5), where # denotes the negation ¬ or the absence of any symbol. No set X⊆N will satisfy Conditions (1)-(4) forever, if for every algorithm with no input, at some future day, a computer will be able to execute this algorithm in 1 second or less. The physical limits of computation disprove this assumption. (shrink)

Section 1 reviews Strawson’s logic of presuppositions. Strawson’s justification is critiqued and a new justification proposed. Section 2 extends the logic of presuppositions to cases when the subject class is necessarily empty, such as (x)((Px & ~Px) → Qx) . The strong similarity of the resulting logic with Richard Diaz’s truth-relevant logic is pointed out. Section 3 further extends the logic of presuppositions to sentences with many variables, and a certain valuation is proposed. It is noted that, given this valuation, (...) Gödel’s sentence becomes neither true nor false. The similarity of this outcome with Goldstein and Gaifman’s solution of the Liar paradox, which is discussed in section 4, is emphasized. Section 5 returns to the definition of meaningfulness; the meaninglessness of certain sentences with empty subjects and of the Liar sentence is discussed. The objective of this paper is to show how all of the above-mentioned concepts are interrelated. (shrink)

This tenth volume of Collected Papers includes 86 papers in English and Spanish languages comprising 972 pages, written between 2014-2022 by the author alone or in collaboration with the following 105 co-authors (alphabetically ordered) from 26 countries: Abu Sufian, Ali Hassan, Ali Safaa Sadiq, Anirudha Ghosh, Assia Bakali, Atiqe Ur Rahman, Laura Bogdan, Willem K.M. Brauers, Erick González Caballero, Fausto Cavallaro, Gavrilă Calefariu, T. Chalapathi, Victor Christianto, Mihaela Colhon, Sergiu Boris Cononovici, Mamoni Dhar, Irfan Deli, Rebeca Escobar-Jara, Alexandru Gal, N. (...) Gandotra, Sudipta Gayen, Vassilis C. Gerogiannis, Noel Batista Hernández, Hongnian Yu, Hongbo Wang, Mihaiela Iliescu, F. Nirmala Irudayam, Sripati Jha, Darjan Karabašević, T. Katican, Bakhtawar Ali Khan, Hina Khan, Volodymyr Krasnoholovets, R. Kiran Kumar, Manoranjan Kumar Singh, Ranjan Kumar, M. Lathamaheswari, Yasar Mahmood, Nivetha Martin, Adrian Mărgean, Octavian Melinte, Mingcong Deng, Marcel Migdalovici, Monika Moga, Sana Moin, Mohamed Abdel-Basset, Mohamed Elhoseny, Rehab Mohamed, Mohamed Talea, Kalyan Mondal, Muhammad Aslam, Muhammad Aslam Malik, Muhammad Ihsan, Muhammad Naveed Jafar, Muhammad Rayees Ahmad, Muhammad Saeed, Muhammad Saqlain, Muhammad Shabir, Mujahid Abbas, Mumtaz Ali, Radu I. Munteanu, Ghulam Murtaza, Munazza Naz, Tahsin Oner, ‪Gabrijela Popović‬‬‬‬‬, Surapati Pramanik, R. Priya, S.P. Priyadharshini, Midha Qayyum, Quang-Thinh Bui, Shazia Rana, Akbara Rezaei, Jesús Estupiñán Ricardo, Rıdvan Sahin, Saeeda Mirvakili, Said Broumi, A. A. Salama, Flavius Aurelian Sârbu, Ganeshsree Selvachandran, Javid Shabbir, Shio Gai Quek, Son Hoang Le, Florentin Smarandache, Dragiša Stanujkić, S. Sudha, Taha Yasin Ozturk, Zaigham Tahir, The Houw Iong, Ayse Topal, Alptekin Ulutaș, Maikel Yelandi Leyva Vázquez, Rizha Vitania, Luige Vlădăreanu, Victor Vlădăreanu, Ștefan Vlăduțescu, J. Vimala, Dan Valeriu Voinea, Adem Yolcu, Yongfei Feng, Abd El-Nasser H. Zaied, Edmundas Kazimieras Zavadskas.‬‬. (shrink)

Neuroscience has studied deductive reasoning over the last 20 years under the assumption that deductive inferences are not only de jure but also de facto distinct from other forms of inference. The objective of this research is to verify if logically valid deductions leave any cerebral electrical trait that is distinct from the trait left by non-valid deductions. 23 subjects with an average age of 20.35 years were registered with MEG and placed into a two conditions paradigm (100 trials for (...) each condition) which each presented the exact same relational complexity (same variables and content) but had distinct logical complexity. Both conditions show the same electromagnetic components (P3, N4) in the early temporal window (250–525 ms) and P6 in the late temporal window (500–775 ms). The significant activity in both valid and invalid conditions is found in sensors from medial prefrontal regions, probably corresponding to the ACC or to the medial prefrontal cortex. The amplitude and intensity of valid deductions is significantly lower in both temporal windows (p = 0.0003). The reaction time was 54.37% slower in the valid condition. Validity leaves a minimal but measurable hypoactive electrical trait in brain processing. The minor electrical demand is attributable to the recursive and automatable character of valid deductions, suggesting a physical indicator of computational deductive properties. It is hypothesized that all valid deductions are recursive and hypoactive. (shrink)

The limited aim here is to explain what John Dewey might say about the formulation of the grue example. Nelson Goodman’s problem of distinguishing good and bad inductive inferences is an important one, but the grue example misconstrues this complex problem for certain technical reasons, due to ambiguities that contemporary logical theory has not yet come to terms with. Goodman’s problem is a problem for the theory of induction and thus for logical theory in general. Behind the whole discussion of (...) these issues over the last several decades is a certain view of logic hammered out by Russell, Carnap, Tarski, Quine, and many others. Goodman’s nominalism hinges in essential ways on a certain view of formal logic with an extensional quantification theory at its core. This raises many issues, but the one issue most germane here is the conception of predicates ensconced in this view of logic. (shrink)

I present a possible worlds semantics for a hyperintensional belief revision operator, which reduces the logical idealization of cognitive agents affecting similar operators in doxastic and epistemic logics, as well as in standard AGM belief revision theory. (Revised) belief states are not closed under classical logical consequence; revising by inconsistent information does not perforce lead to trivialization; and revision can be subject to ‘framing effects’: logically or necessarily equivalent contents can lead to different revisions. Such results are obtained without resorting (...) to non-classical logics, or to non-normal or impossible worlds semantics. The framework combines, instead, a standard semantics for propositional S5 with a simple mereology of contents. (shrink)

In this paper I interrogate the notion of `debunking conspiracy theories’, arguing that the term `debunk’ carries with it pejorative implications, given that the verb `to debunk’ is commonly understood as `to show the wrongness of a thing or concept’. As such, the notion of `debunking conspiracy theories’ builds in the notion that such theories are not just wrong but ought to be shown as being wrong. I argue that we should avoid the term `debunk’ and focus on investigating conspiracy (...) theories. Looking at recent research work in epistemology on conspiracy theory, I argue that the best way to avoid talk of `debunking’ conspiracy theories is by working with a non-pejorative definition of `conspiracy theory’, and forming communities of inquiry which allow us to investigate the warrant of such theories without the prejudice associated with working with a pejorative definition. (shrink)

A remarkable feature of the philosophical work on conspiracy theory theory has been that most philosophers agree there is nothing inherently problematic about conspiracy theories (AKA the thesis of particularism). Recent work, however, has challenged this consensus view, arguing that there really is something epistemically wrong with conspiracy theorising (AKA generalism). Are particularism and generalism incompatible? By looking at just how much particularists and generalists might have to give away to make their theoretical viewpoints compatible, I will argue that particularists (...) can accept many of the concerns that motivate generalism because generalism can never be about ‘all’ conspiracy theories without being either ahistorical or apolitical. In the end generalist critiques are best seen as useful guidelines or considerations for the appraising of particular conspiracy theories. (shrink)

Existing research suggests that people's judgments of actual causation can be influenced by the degree to which they regard certain events as normal. We develop an explanation for this phenomenon that draws on standard tools from the literature on graphical causal models and, in particular, on the idea of probabilistic sampling. Using these tools, we propose a new measure of actual causal strength. This measure accurately captures three effects of normality on causal judgment that have been observed in existing studies. (...) More importantly, the measure predicts a new effect ("abnormal deflation"). Two studies show that people's judgments do, in fact, show this new effect. Taken together, the patterns of people's causal judgments thereby provide support for the proposed explanation. (shrink)

Conspiracy theories and conspiracy theorists have been accused of a great many sins, but are the conspiracy theories conspiracy theorists believe epistemically problematic? Well, according to some recent work, yes, they are. Yet a number of other philosophers like Brian L. Keeley, Charles Pigden, Kurtis Hagen, Lee Basham, and the like have argued ‘No!’ I will argue that there are features of certain conspiracy theories which license suspicion of such theories. I will also argue that these features only license a (...) limited suspicion of these conspiracy theories, and thus we need to be careful about generalising from such suspicions to a view of the warrant of conspiracy theories more generally. To understand why, we need to get to the bottom of what exactly makes us suspicious of certain conspiracy theories, and how being suspicious of a conspiracy theory does not always tell us anything about how likely the theory in question is to be false. (shrink)

Conspiracy theories are often portrayed as unwarranted beliefs, typically supported by suspicious kinds of evidence. Yet contemporary work in Philosophy argues provisional belief in conspiracy theories is—at the very—least understandable (because conspiracies occur) and if we take an evidential approach—judging individual conspiracy theories on their particular merits—belief in such theories turns out to be warranted in a range of cases. Drawing on this work, I examine the kinds of evidence typically associated with conspiracy theories, showing that the evidential problems typically (...) associated with conspiracy theories are not unique to such theories. As such, if there is a problem with the conspiracy theorist’s use of evidence, it is one of principle: is the principle which guides their use of evidence somehow in error? I argue that whatever we might think about conspiracy theories generally, there is no prima facie case for a scepticism of conspiracy theories based purely on their use of evidence. (shrink)

Conspiracy theories are typically thought to be examples of irrational beliefs, and thus unlikely to be warranted. However, recent work in Philosophy has challenged the claim that belief in conspiracy theories is irrational, showing that in a range of cases, belief in conspiracy theories is warranted. However, it is still often said that conspiracy theories are unlikely relative to non-conspiratorial explanations which account for the same phenomena. However, such arguments turn out to rest upon how we define what gets counted (...) both as a ‘conspiracy’ and a ‘conspiracy theory’, and such arguments rest upon shaky assumptions. It turns out that it is not clear that conspiracy theories are prima facie unlikely, and so the claim that such theories do not typically appear in our accounts of the best explanations for particular kinds of events needs to be reevaluated. (shrink)

Politics is full of people who don’t care about the facts. Still, while not caring about the facts, they are often concerned to present themselves as caring about them. Politics, in other words, is full of bullshitters. But why? In this paper I develop an incentives-based analysis of bullshit in politics, arguing that it is often a rational response to the incentives facing different groups of agents. In a slogan: bullshit in politics pays, sometimes literally. After first outlining an account (...) of bullshit (Section 1), I discuss the incentives driving three different groups of agents to bullshit: politicians, the media, and voters (Section 2). I then examine several existing proposals to combat bullshit in politics, arguing that each will fail because they ignore the relevant underlying incentives (Section 3). I conclude somewhat pessimistically that a certain amount of bullshit in politics is inevitable (Section 4). (shrink)

Looking at the recent spate of claims about “fake news” which appear to be a new feature of political discourse, I argue that fake news presents an interesting problem in epistemology. Te phenomena of fake news trades upon tolerating a certain indiference towards truth, which is sometimes expressed insincerely by political actors. Tis indiference and insincerity, I argue, has been allowed to fourish due to the way in which we have set the terms of the “public” epistemology that maintains what (...) is considered “rational” public discourse. I argue one potential salve to the problem of fake news is to challenge this public epistemology by injecting a certain ethical consideration back into the discourse. (shrink)

Judging the warrant of conspiracy theories can be difficult, and often we rely upon what the experts tell us when it comes to assessing whether particular conspiracy theories ought to be believed. However, whereas there are recognised experts in the sciences, I argue that only are is no such associated expertise when it comes to the things we call `conspiracy theories,' but that the conspiracy theorist has good reason to be suspicious of the role of expert endorsements when it comes (...) to conspiracy theories and their rivals. The kind of expertise, then, we might associate with conspiracy theories is largely improvised—in that it lacks institutional features—and, I argue, ideally the product of a community of inquiry. (shrink)

The production of scientific instruments in America was neither a postwar phenomenon nor dramatically different from that of several other developed countries. It did, however, undergo a step-change in direction, size and style during and after the war. The American scientific instrument industry after 1945 was intimately dependent on, and shaped by, prior American and European experience. This was true of the specific genres of instrument produced commercially; to links between industry and science; and, just as importantly, to manufacturing practices (...) and cultures. I will argue that, despite the new types of instrument commercialized after the war, this historical continuity of links with science and scientists guided and constrained the design and manufacture of these products. Nevertheless, new designers, manufacturers and customers gradually transformed the culture of scientific instruments in the second half of the century. -/- This chapter deals with a subset of the American instrument industry, namely the measuring and monitoring instruments manufactured for scientific use. Even with the specification of ‘scientific’ instruments, however, these borders are rather artificial and unclear: instrument making from the seventeenth through the twentieth century has generally involved the fabrication of both standard products and custom-made devices for scientific use.2 In this context of sales quantities, ‘scientific’ instruments have often been defined as low-volume, special-order or custom devices. In a similar vein, ‘scientific’ instruments were commonly distinguished from ‘production’ instruments by context of usage, namely their very absence from – and indeed irrelevance to – production environments. This demarcation according to customer and environment was mirrored in at least one furth er respect: the training of their users. The classification into ‘scientific’ and ‘engineering’ applications was as fluid as the relationship between American universities and technical industries themselves.Despite these complementary definitions, the notion of the ‘scientific instrument’ was beginning to prove inadequate even at the turn of the twentieth century, and dramatically so when discussing the post-Second World War period. Definitions altered qualitatively after the Second World War in at least three further ways: (a) new genres of device altered the scope of the scientific instrument; (b) the contribution of State and military sponsorship of new forms of instrument became significant; and, (c) the postwar demand for specialist instruments increased rapidly, owing to wartime innovation, new applications and new customers. I will explore the evolution of instrument manufacturing in this changing context of new technology, funding, development and markets. (shrink)

In the literature on conspiracy theories, the least contentious part of the academic discourse would appear to be what we mean by a “conspiracy”: a secretive plot between two or more people toward some end. Yet what, exactly, is the connection between something being a conspiracy and it being secret? Is it possible to conspire without also engaging in secretive behavior? To dissect the role of secrecy in con- spiracies – and thus contribute to the larger debate on the epistemology (...) of conspir- acy theories – we dene the concepts of “conspiracy,” “conspirator,” and “secret,” and argue that while conspirators might typically be thought to commit to keeping secrets once their conspiracy is underway, the idea that conspiracies are necessarily secretive to start with is not as obvious as previously thought. (shrink)

Belief in conspiracy theories is typically considered irrational, and as a consequence of this, conspiracy theorists––those who dare believe some conspiracy theory––have been charged with a variety of epistemic or psychological failings. Yet recent philosophical work has challenged the view that belief in conspiracy theories should be considered as typically irrational. By performing an intra-group analysis of those people we call “conspiracy theorists”, we find that the problematic traits commonly ascribed to the general group of conspiracy theorists turn out to (...) be merely a set of stereotypical behaviours and thought patterns associated with a purported subset of that group. If we understand that the supposed prob- lem of belief in conspiracy theories is centred on the beliefs of this purported sub- set––the conspiracists––then we can reconcile the recent philosophical contribu- tions to the wider academic debate on the rationality of belief in conspiracy theories. (shrink)

Conceptual engineers endeavor to improve our concepts. But their endeavors face serious practical difficulties. One such difficulty – rational conceptual conflict - concerns the degree to which agents are incentivized to impede the efforts of conceptual engineers, especially in many of the contexts within which conceptual engineering is viewed as a worthwhile pursuit. Under such conditions, the already difficult task of conceptual engineering becomes even more difficult. Consequently, if they want to increase their chances of success, conceptual engineers should pay (...) closer attention to – and devise strategies to mitigate – rational conceptual conflict. After outlining the phenomenon at greater length and mapping its connections to other similar practical problems (Section 1), I explore the dynamics of such conflict by way of several detailed case studies (Section 2). In particular, I focus on cases driven by material, social, and moral incentives. I then consider some important methodological implications of rational conceptual conflict (Section 3). Among other things, I argue that conceptual engineers should focus more heavily on cultivating settings that modify the payoffs and penalties associated with conceptual conflict. By such indirect means, they can incentivize conceptual cooperation rather than conflict, thus making it easier to achieve success in conceptual engineering. Section 4 concludes. (shrink)

Politics abounds with bad language: lying and bullshitting, grandstanding and virtue signaling, code words and dogwhistles, and more. But why is there so much bad language in politics? And what, if anything, can we do about it? In this paper I show how these two questions are connected. Politics is full of bad language because existing social and political institutions are structured in such a way that the production of bad language becomes rational. In principle, by modifying these institutions we (...) can reduce the prevalence of bad language. However, as I show, such practical efforts are fraught with difficulties. After first outlining an account of bad language (Section 1), I examine the rationality of three different types of bad language: inaccurate language, insincere language, and unclear language (Section 2). Next, I discuss the possibility of implementing institutional reforms to improve the quality of political discourse (Section 3). However, I then outline and discuss two serious complications for institutional reforms—namely, they create risk of abuse, and they could preclude instances of seemingly bad language that, in fact, are socially beneficial (Section 4). I conclude with some thoughts about how to pursue institutional reform in an appropriately circumspect manner (Section 5). (shrink)

The biological sciences study (bio)complex living systems. Research directed at the mechanistic explanation of the "live" state truly requires a pluralist research program, i.e. BioComplexity research. The program should apply multiple intra-level and inter-level theories and methodologies. We substantiate this thesis with analysis of BioComplexity: metabolic and modular control analysis of metabolic pathways, emergence of oscillations, and the analysis of the functioning of glycolysis.

In Pietroski ( 2018 ) a simple representation language called SMPL is introduced, construed as a hypothesis about core conceptual structure. The present work is a study of this system from a logical perspective. In addition to establishing a completeness result and a complexity characterization for reasoning in the system, we also pinpoint its expressive limits, in particular showing that the fourth corner in the square of opposition (“ Some_not ”) eludes expression. We then study a seemingly small extension, called (...) SMPL +, which allows for a minimal predicate-binding operator. Perhaps surprisingly, the resulting system is shown to encode precisely the concepts expressible in first-order logic. However, unlike the latter class, the class of SMPL + expressions admits a simple procedural (context-free) characterization. Our contribution brings together research strands in logic—including natural logic, modal logic, description logic, and hybrid logic—with recent advances in semantics and philosophy of language. (shrink)

Lawrence Kohlberg's Approach to Moral Education presents what the late Lawrence Kohlberg regarded as the definitive statement of his educational theory. Addressing the sociology and social psychology of schooling, the authors propose that school culture become the center of moral education and research. They discuss how schools can develop as just and cohesive communities by involving students in democracy, and they focus on the moral decisions teachers and students face as they democratically resolve problems. As the authors put it: "...we (...) propose an educational renewal of our democratic society.... We have attempted to establish schools that do more than just teach about democratic citizenship, that are themselves democratic societies.". (shrink)

I’m to push back on Hill’s (2022) criticism in four ways. First: we need some context for the debate that occurred in the pages of the Social Epistemology Review and Reply Collective that so concerns Hill. Second: getting precise with our terminology (and not working with stereotypes) is the only theoretically fruitful way to approach the problem of conspiracy theories. Third: I address Hill’s claim there is no evidence George W. Bush or Tony Blair accused their critics, during the build-up (...) the invasion of Iraq in 2003ACE, as being “conspiracy theorists.” Fourth (and finally): I will gently suggest that Hill has succumbed to a stereotypical view of work in Philosophy on conspiracy theories. (shrink)

The purpose of this paper is to show that the Elementary Process Theory (EPT) agrees with the knowledge of the physical world obtained from the successful predictions of Special Relativity (SR). For that matter, a recently developed method is applied: a categorical model of the EPT that incorporates SR is fully specified. Ultimate constituents of the universe of the EPT are modeled as point-particles, gamma-rays, or time-like strings, all represented by integrable hyperreal functions on Minkowski space. This proves that the (...) EPT agrees with SR. -/- Edit: this preprint differs significantly from the published chapter. (shrink)

An overview of the current epistemic literature concerning conspiracy theories, as well as indications for future research avenues on the topic.

Summary: A review of the cognitivist/extended cognition and extended mind landscape.

An analysis of the recent efforts to define what counts as a "conspiracy theory", in which I argue that the philosophical and non-pejorative definition best captures the phenomenon researchers of conspiracy theory wish to interrogate.

What does social justice require in contemporary societies? What are the requirements of social democracy? Who and where are the individuals and groups that can carry forward agendas for progressive social transformation? What are we to make of the so-called new social movements of the last thirty years? Is identity politics compatible with egalitarianism? Can cultural misrecognition and economic maldistribution be fought simultaneously? What of the heritage of Western Marxism is alive and dead? And how is current critical social theory (...) to approach these and other questions? Much of the most productive work done in recent social theory has revolved around such issues, in particular, around those concerning the relationship between the politics of recognition and the politics of distribution. After the intense theoretical focus over the last fifteen years or so on the issues of recognition politics—multiculturalism, multi-nationalism, identity politics, group-differentiated rights, the accommodation of difference, and so on—some social theorists have worried that attention has been diverted from important issues of distributive equality—systematic impoverishment, increasing material inequality, ‘structural’ unemployment, the growth of oligarchic power, global economic segmentation, and so on. While some critics seem to have adopted a blunt ‘it’s the economy, stupid’ line of criticism,1 others have attempted to develop an overarching, integrative theoretical framework adequate to the diverse issues concerning both economic and cultural justice. For example, Axel Honneth proposes that a suitably developed and normatively robust theory of intersubjective recognition can adequately integrate an analysis of apparently diverse contemporary struggles: those for a just division of labor and hence, a fair distribution of resources and opportunities, as well as those for a culture free of identity-deforming disrespect and denigration. (shrink)

Because anticipated and retrospective regret play important roles in practical deliberation and motivation, better understanding them can illuminate the contours of human agency. However, the possibility of self-ignorance and the fact that we change over time can make regret—especially anticipatory regret—not only a poor predictor of where the agent will be in the future but also an unreliable indicator of where the agent stands. Granting these, this paper examines the way in which prospective and, particularly, retrospective regret can nevertheless yield (...) important insight into the sorts of creatures we are, both generally and individually. The experience of retrospective regret can show a person she values something in a way she did not know or that she is (or was) a different person than she had thought, insights which can factor into forward-looking, or prospective, deliberation. Such instances of revelatory regret reveal something to the agent about herself as agent. I examine two cases of agential self-ignorance. In the first, the experience of regret reveals what the agent values, not only to others but even to the agent himself. In the second, the agent anticipates experiencing regret for an action but does not experience the regret, suggesting that the agent did not value the rejected alternative in the way she thought. Anticipatory regret is forward-looking and can play an important role in practical deliberation. But insofar as anticipatory regret flows from one’s imperfect judgment and prospection about oneself, retrospective regret can be an important corrective in helping the agent understand her own standpoint. (shrink)

A reply to “Why ‘Healthy Conspiracy Theories’ Are (Oxy)morons” by Pascal Wagner-Egger, Gérald Bronner, Sylvain Delouvée, Sebastian Dieguez and Nicolas Gauvrit.

In recent years, there has been a heated debate about how to interpret findings that seem to show that humans rapidly and automatically calculate the visual perspectives of others. In the current study, we investigated the question of whether automatic interference effects found in the dot-perspective task (Samson, Apperly, Braithwaite, Andrews, & Bodley Scott, 2010) are the product of domain-specific perspective-taking processes or of domain-general “submentalizing” processes (Heyes, 2014). Previous attempts to address this question have done so by implementing inanimate (...) controls, such as arrows, as stimuli. The rationale for this is that submentalizing processes that respond to directionality should be engaged by such stimuli, whereas domain-specific perspective-taking mechanisms, if they exist, should not. These previous attempts have been limited, however, by the implied intentionality of the stimuli they have used (e.g. arrows), which may have invited participants to imbue them with perspectival agency. Drawing inspiration from “novel entity” paradigms from infant gaze-following research, we designed a version of the dot-perspective task that allowed us to precisely control whether a central stimulus was viewed as animate or inanimate. Across four experiments, we found no evidence that automatic “perspective-taking” effects in the dot-perspective task are modulated by beliefs about the animacy of the central stimulus. Our results also suggest that these effects may be due to the task-switching elements of the dot-perspective paradigm, rather than automatic directional orienting. Together, these results indicate that neither the perspective-taking nor the standard submentalizing interpretations of the dot-perspective task are fully correct. (shrink)

Are we witnessing progress or regress in the recent increasing popularity and electoral success of populist politicians and parties in consolidated democratic nations? ... Is the innovative use of popular referendum in Great Britain to settle fundamental constitutional questions a progressive or regressive innovation? ... Similarly, is the increasing use of constituent assemblies to change constitutions across the world evidence of progress in democratic constitutionalism, or, a worryingly regressive change back toward unmediated popular majoritarianism? ... This paper reflects on some (...) of the perils and promise of framing such questions with the conceptual couplet of progress and regress. It considers four compelling critiques of the use of ‘progress’ and its cognates in sociopolitical theory, as well as arguing that such concepts are nevertheless ineliminable for our normative theories. The paper concludes by suggesting that we can avoid the most serious problems by employing only conceptions of political progress and regress that are piecemeal, pragmatic, and processual. (shrink)

Talk of fake news is rife in contemporary politics, but what is fake news, and how, if anything, does it differ from news which is fake? I argue that in order to make sense of the phenomenon of fake news, it is necessary to first define it and then show what does and does not fall under the rubric of ‘fake news’. I then go on to argue that fake news is not a new problem. Rather, if there is problem (...) with fake news it is its centrality in contemporary public debate. (shrink)

Plato’s references to Empedocles in the myth of the Statesman perform a crucial role in the overarching political argument of the dialogue. Empedocles conceives of the cosmos as structured like a democracy, where the constituent powers ‘rule in turn’, sharing the offices of rulership equally via a cyclical exchange of power. In a complex act of philosophical appropriation, Plato takes up Empedocles’ cosmic cycles of rule in order to ‘correct’ them: instead of a democracy in which rule is shared cyclically (...) amongst equal constituents, Plato’s cosmos undergoes cycles of the presence and absence of a single cosmic monarch who possesses ‘kingly epistēmē’. By means of a revision of Empedocles’ democratic cosmology, Plato’s richly woven myth is designed precisely to reject the appropriateness of democracy as a form of human political association and legitimate monarchy in its stead. (shrink)

In discussing whether legal systems are necessarily coercive, legal philosophers usually appeal to thought experiments involving angels or other morally driven beings who need no coercion to organise their social lives. Such appeals have invited criticism. Critics have not only challenged the relevance of such thought experiments to our understanding of legal systems; they have also argued that, contrary to the intuitions of most legal philosophers, the ‘man on the Clapham Omnibus’ would not hold that there is law in a (...) society of angels because the view that law is necessarily coercive ‘enjoys widespread support among laypersons’. This is obviously an empirical claim. Critics, however, never systematically polled the ‘man on the Clapham Omnibus’. We boarded that bus. This article discusses findings from five empirical studies on the relationship between law and coercion. (shrink)

Politická reflexia uskutočňovaná v akademických kruhoch predstavuje rad vlastných charakteristík v porovnaní s inými druhmi intelektuálnej činnosti. Nejde len o j e j viac-menej prirodzené preniknutie do domácich mocenských vzťahov, ale o mimoriadnu citlivosť j e j obsahu a rozvoja na spoločenské a politické podmienky inštitucionálneho kontextu. O politickej kultúre krajiny sa môžeme naučiť veľa práve na základe analýzy toho, o čom j e j intelektuáli diskutujú - a o čom nediskutujú, ako aj o teoretických nástrojoch, ktoré pritom využívajú.

This paper explains how to use a new software tool for argument diagramming available free on the Internet, showing especially how it can be used in the classroom to enhance critical thinking in philosophy. The user loads a text file containing an argument into a box on the computer interface, and then creates an argument diagram by dragging lines from one node to another. A key feature is the support for argumentation schemes, common patterns of defeasible reasoning historically know as (...) topics . Several examples are presented, as well as the results of an experiment in using the system with students in a university classroom. (shrink)

Research on conspiracy theories has proliferated since 2016, in part due to the US election of President Trump, the COVID-19 pandemic, and increasingly threatening environmental conditions. In the rush to publication given these concerning social consequences, researchers have increasingly treated as definitive a 2016 paper by Michael Wood (Political Psychology, 37(5), 695–705, 2016) that concludes that the phrase “conspiracy theory” has no negative effect upon people’s willingness to endorse a claim. We revisit Wood’s findings and its (re)uptake in the recent (...) literature. Is the label “conspiracy theory” a pejorative? If so, does it sway or affect people’s belief in specific claims of conspiracy (i.e. particular conspiracy theories), or is the effect one that concerns claims of conspiracy more generally (i.e. all conspiracy theories)? Through an examination of the conceptual and methodological scope of Wood’s work and the results of our similar quasi-experimental design, we argue that it is premature to suggest the label “conspiracy theory” has no impact on the believability of a claim, or that it has no rhetorical power. (shrink)

A reply to Patrick Stokes' “Between Generalism and Particularism About Conspiracy Theory".

According to one large family of views, scientific explanations explain a phenomenon (such as an event or a regularity) by subsuming it under a general representation, model, prototype, or schema (see Bechtel, W., & Abrahamsen, A. (2005). Explanation: A mechanist alternative. Studies in History and Philosophy of Biological and Biomedical Sciences, 36(2), 421–441; Churchland, P. M. (1989). A neurocomputational perspective: The nature of mind and the structure of science. Cambridge: MIT Press; Darden (2006); Hempel, C. G. (1965). Aspects of scientific (...) explanation. In C. G. Hempel (Ed.), Aspects of scientific explanation (pp. 331–496). New York: Free Press; Kitcher (1989); Machamer, P., Darden, L., & Craver, C. F. (2000). Thinking about mechanisms. Philosophy of Science, 67(1), 1–25). My concern is with the minimal suggestion that an adequate philosophical theory of scientific explanation can limit its attention to the format or structure with which theories are represented. The representational subsumption view is a plausible hypothesis about the psychology of understanding. It is also a plausible claim about how scientists present their knowledge to the world. However, one cannot address the central questions for a philosophical theory of scientific explanation without turning one’s attention from the structure of representations to the basic commitments about the worldly structures that plausibly count as explanatory. A philosophical theory of scientific explanation should achieve two goals. The first is explanatory demarcation. It should show how explanation relates with other scientific achievements, such as control, description, measurement, prediction, and taxonomy. The second is explanatory normativity. It should say when putative explanations succeed and fail. One cannot achieve these goals without undertaking commitments about the kinds of ontic structures that plausibly count as explanatory. Representations convey explanatory information about a phenomenon when and only when they describe the ontic explanations for those phenomena. (shrink)

In this position paper, we argue that careless reliance on AI to answer our questions and to judge our output is a violation of Grice’s Maxim of Quality as well as a violation of Lemoine’s legal Maxim of Innocence, performing an (unwarranted) authority fallacy, and while lacking assessment signals, committing Type II errors that result from fallacies of the inverse. What is missing in the focus on output and results of AI-generated and AI-evaluated content is, apart from paying proper tribute, (...) the demand to follow a person’s thought process (or a machine’s decision processes). In deliberately avoiding Neural Networks that cannot explain how they come to their conclusions, we introduce logic-symbolic inference to handle any possible epistemics any human or artificial information processor may have. Our system can deal with various belief systems and shows how decisions may differ for what is true, false, realistic, unrealistic, literal, or anomalous. As is, stota AI such as ChatGPT is a sorcerer’s apprentice. (shrink)